Tradition in either of its two senses—the act of handing on , and what is handed on—is a particular instance of a law of human existence that men live in dependence on one another and by the processes of giving and receiving. So a sociologist can write, ‘If we are able to speak of real tradition, we must find the past spontaneously taken into account as the meaning of the present, without any discontinuity of social time, and without any consideration (...) of the past as irrelevant’ . ‘If democracy’, wrote Chesterton, ‘means that I give a man a vote even though he is my chauffeur, tradition means that I give a man a vote even though he is my great-great-grandfather’. What is handed on, however, is not existence of a purely biological kind, to remain always what it has been or to change very slowly over a space of aeons. Except in primitive tribes even tradition is not simply passed on as something static and timeless, and it is received by men who, though themselves in time, are not totally time-bound or restricted by what they receive. They believe themselves to be capable of significant action which is more than the repetition and reproduction of what has gone before. They are able to grasp a span of time and to call it history; they believe themselves to have a history, and they write history. (shrink)

In this paper a semantics for dynamic predicate logic is developed that uses sequence valued assignments. This semantics is compared with the usual relational semantics for dynamic predicate logic: it is shown that the most important intuitions of the usual semantics are preserved. Then it is shown that the refined semantics reflects out intuitions about information growth. Some other issues in dynamic semantics are formulated and discussed in terms of the new sequence semantics.

Corporate governance is increasingly becoming an issue of global concern, not least because we are more and more living in a corporate world that transcends international boundaries. The main purpose and motivation of this study is to determine how the international community should motivate businesses in fostering exemplary corporate governance, therefore eliminating obstacles to ethically exemplary behavior. The empirical approach utilized here has been applied to 161 businesses, both listed and over-the-counter (OTC) companies, with the results indicating that ethical considerations, (...) corporate governance and organizational performance are inextricably linked and, to an extent, demonstrably proportional. This study also indicates a major finding that family management is a significant mediating variable of the ethical considerations of corporate governance and organizational performance. Finally, this study has developed an operational model of ethical considerations of corporate governance as a consultancy aid for businesses that wish to implement and/or boost their performance in respect to corporate governance. (shrink)

We extend results of Harizanov and Barker. For a relation R on a recursive structure /oA, we give conditions guaranteeing that the image of R in a recursive copy of /oA can be made to have arbitrary ∑α0 degree over Δα0. We give stronger conditions under which the image of R can be made ∑α0 degree as well. The degrees over Δα0 can be replaced by certain more general classes. We also generalize the Friedberg-Muchnik Theorem, giving conditions on a pair (...) of relations R and S under which the images of R and S can be made ∑α0 and independent over Δα0 in a recursive copy of /oA. (shrink)

qThe superior merits of this work are too well known to require commendation.q- from preface.

IX. 6. 12. (The young nobles of Capua describe the bearing of the Romans released from the Caudine Forks after having passed under the yoke.).

Epistemological foundationalism can be generally characterized as the thesis that in order for there to be any genuine knowledge at all, there must be some self-authenticating instances of knowledge which epistemically ground the whole edifice. This position can be seen to involve three distinct claims: there are self-authenticating, noninferential pieces of knowledge; these privileged instances can be infallibly recognized as such so as to be able to function in grounding other knowledge claims; and without some such instances functioning in this (...) way, knowledge would have no foundation and skepticism would ensue. Although adherents of this ideal run the gamut from Aristotle to Husserl, it is usually identified with the epistemological problematic introduced by Descartes and Locke. The particular formulations of this general ideal differ to the extent that the self-authenticating instances are recognized as being sense-data, phenomenological essences, or intellectual principles. (shrink)

The first solid bit of argumentation you get in Plato's Phaedo goes something like this: Whatever comes to be, comes to be from its opposite . If at a certain time t a given thing a begins to be F , before that time t it must have been non- F . Wherever a pair of predicates, F and G , are genuine contradictories; where, that is, they stand to each other in the same relation as F stands in to (...) non- F ; it is necessarily true that if a began to be F at t before then a was G . The only trouble comes from the difficulty of finding substitutes for F and G that people will allow to be genuine contradictories. It the butter began to be soft at four o'clock, we may suggest, before four it was hard. A tiresome opponent will retort that there is a state in which butter cannot properly be called either hard or soft. We try again: If Ann began to be asleep at eight, before eight she was awake; if my shirt became dirty on Tuesday, before Tuesday it was clean; if Bonzo died last week, before last week he was alive. And when the advocate of the borderline state reminds us of the various twilight areas of consciousness or cleanliness, we are reduced to legislation: “asleep” shall henceforth apply to every mental state short of complete wakefulness, “alive” to every condition of the body before the onset of putrefaction, “clean” to every shirt incapable of producing a certain measurable discoloration in the water in which it is washed. “Let F and G be contradictories”, we still guardedly maintain: “then if a comes to be F at time t , before time t a was G ”. (shrink)

This paper is concerned with the structure of texts in which aproof is presented. Some parts of such a text are assumptions, otherparts are conclusions. We show how the structural organisation of thetext into assumptions and conclusions helps to check the validity of theproof. Then we go on to use the structural information for theformulation of proof rules, i.e., rules for the (re-)construction ofproof texts. The running example is intuitionistic propositional logicwith connectives , and. We give new proofs of some (...) familiar results aboutthe proof theory of this logic to indicate how the new techniques workout. (shrink)

IX. 6. 12. iacere indolem illam Romanam ablatosque cum armis animos; non reddere salutem, non salutantibus dare responsum, non hiscere quemquam prae metu potuisse.

In this paper we discuss the treatment of variables in dynamic semantics. Referent systems are introduced as a flexible mechanism for working with variables. In a referent system we carefully distinguish the variables themselves both from the machinery by which we manipulate them - their names - and from the information that we store in them - their values. It is shown that the referent systems provide a natural basis for dynamic semantics. The semantics with referent systems is compared with (...) the familiar formalisms in dynamic semantics, DRT and DPL. (shrink)